Theorem: Finite Tree has Leaf Nodes

Every non-edgeless finite tree has at least two leaf nodes.

Proof:
We use the Method of Infinite Descent.
Suppose $T$ is a tree which has no leaf nodes.
First note that no tree has all even nodes.
Indeed, because by Characteristics of Eulerian Graph, it would then be an Eulerian graph, and by definition, trees do not have circuits.
From the Handshake Lemma, we know that $T$ must therefore have at least two odd nodes whose degree is at least $3$.
As $T$ is finite, this number must itself be finite.
Of those nodes, there must be two (call them $u$ and $v$) which can be joined by a path $P$ containing no odd nodes apart from $u$ and $v$.
(Otherwise you can pick as one of the two nodes one of those in the interior of $P$.)
Consider that path $P$ from $u$ to $v$. 
As a tree has no circuits, all nodes of $P$ are distinct, or at least part of $P$ will describe a cycle.
Now consider the subgraph $S$ formed by removing the edges comprising $P$ from $T$, but leaving the nodes where they are.
The nodes $u$ and $v$ at either end of $P$ will no longer be odd, as they have both had one edge removed from them.
All the nodes on $P$ other than $u$ and $v$ will stay even.
The graph $S$ may become disconnected, and may even contain isolated nodes.
However, except for these isolated nodes (which became that way because of being nodes of degree $2$ on $P$), and however many components $S$ is now in, all the nodes of $S$ are still either even or odd with degree of $3$ or higher.
That is because by removing $P$, the only odd nodes we have affected are $u$ and $v$, which are now even.
Now, if the nodes in any component of $S$ are all even, that component is Eulerian.
Hence $S$ contains a circuit, and is therefore not a tree.
From Connected Subgraph of Tree is Tree, it follows that $T$ can not be a tree after all.
However, if the nodes in any component $T'$ of $S$ are not all even, then there cannot be as many odd nodes in it as there are in $T$ (because we have reduced the number by $2$).
Also, because of the method of construction of $T'$, all of its odd nodes are of degree of at least $3$.
By applying the Method of Infinite Descent, it follows that $T$ must contain a circuit, and is therefore not a tree.
So every tree must have at least one node of degree $1$.
Now, suppose that $T$ is a tree with exactly $1$ node of degree $1$.
Call this node $u$.
From the Handshake Lemma, we know that $T$ must therefore have at least one odd node whose degree is at least $3$.
Let $P$ be a path from $u$ to any such odd nodes such that $P$ passes only through even nodes, as we did above.
Again, let us remove all the edges of $P$.
By a similar argument to the one above, we will once again have reduced the tree to one in which any remaining odd nodes all have degree of at least $3$.
Then we are in a position to apply the argument above.
Hence $T$ must have at least two nodes of degree $1$.
{{qed}}
=== Note ===
{{ExtractTheorem|Implement it as an Example}}
It is instructive to see what happens to the above argument for a tree with exactly two nodes of degree $1$.
There may be no other odd nodes but these two (call them $u$ and $v$).
Such a graph is a path graph (which is itself a tree), and removing all the edges from the path from $u$ to $v$ leaves an edgeless graph, which of course has no circuits.