Et binært søketreholder invarianten venstre < node < høyre. Det gir insert og search i O(h) der h er treets høyde, og en in-order-gjennomgang som sender ut nøklene sortert i O(n).

Formen følger av innsettingsrekkefølgen. Sortert input gir et skjevt tre med høyde n — da degraderer oppslag til O(n), som en lenket liste. Balanserte varianter (AVL, rød-svart) holder h ≈ log n.