A tree with at most two children for each node. Formal Definition: A binary tree either

• is empty (no nodes), or
• has a root node, a left binary tree, and a right binary tree.