Definition:Propositional Tableau

Definition
Propositional tableaus are a specific subset of the labeled trees for propositional logic.