A Tableaux Approach for Consistency Checking