Recursive Leaf Removal in Binary Trees