Definition:Tableau Proof/Propositional Tableau