Definition:Tableau Proof


 * Definition:Tableau Proof (Formal Systems)
 * Definition:Tableau Proof (Propositional Tableaus)