A tree structure where each internal node has exactly two child nodes. Related Claims Root node label uniquely defines binary tree shape