\begin{definition}[Definition:Rooted Tree/Branch/Infinite]
Let $T$ be a rooted tree with root node $r_T$.
Let $\Gamma$ be a branch of $T$.
Then $\Gamma$ is infinite {{iff}} it has no leaf node at the end.
\end{definition}