On Christmas Trees with 3 taxa Waterman always terminates because they are just binary trees with 3 taxa that someone rooted on the internal node.