Definition:Tableau Proof


 * Tableau Proof in Natural Deduction
 * Tableau Proof (Propositional Tableaus)