En teoría de grafos, un árbol de expansión, árbol generador o árbol recubridor "T" de un grafo conexo, no dirigido "G" es un árbol compuesto por todos los vértices y algunas (quizá todas) de las aristas de "G".