Definition:Propositional Tableau

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

whose hypothesis set is $\mathbf H$.