A derivation tree, also known as a parse tree, is a graphical representation that illustrates the syntactic structure of a string according to a formal grammar. It is used in computer science to visualize how a string can be generated by applying the production rules of a context-free grammar, showing the hierarchy and order of rule applications.