Les arbres splay sont une structure de données permettant de réaliser en complexité amortie $O( \ln(n))$ les opérations suivantes : mem(i,s), ajout(i,s), supp(i,s), union(s,s'), pivote(i,s) qui se font à l'aide d'une opération élémentaire : l'opération splay.