Definition:Finished Branch of Propositional Tableau

Definition
Let $T$ be a propositional tableau.

Let $\Gamma$ be a branch of $T$.

Then $\Gamma$ is finished iff:
 * $(1): \quad \Gamma$ is not contradictory

and:
 * $(2): \quad$ Every non-basic WFF on $\Gamma$ is attached to some node of $\Gamma$.

That is, $\Gamma$ is finished iff the set $\Delta$ of propositional WFFs which occur along $\Gamma$ is a finished set‎.