Definition:Propositional Tableau

Definition
A propositional tableau with root node $\mathbf H$ is either: whose hypothesis set is $\mathbf H$.
 * A finite propositional tableau, or
 * An infinite propositional tableau