Definition:Tableau Proof

Definition
There are two kinds of tableau proof in the study of propositional logic.