Definition:Rooted Tree/Branch/Infinite

Definition

Let $T$ be a rooted tree with root node $r_T$.

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

Then $\Gamma$ is infinite if and only if it has no leaf node at the end.

Also see

• Definition:Infinite Graph
• Definition:Infinite Tree

Sources

• 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus