Definition:Finished Propositional Tableau

Definition
Let $T$ be a propositional tableau.

Then $T$ is finished iff every branch of $T$ is either: or:
 * finished
 * finite and contradictory.

Also see

 * Tableau Confutation is Finished


 * Finite Finished Tableau has Finished Branch or is Confutation