Category:Finite Tree has Leaf Nodes