Une définition de type de document (DTD) est un document spécifique définissant et contraignant une définition ou un ensemble d'énoncés qui suivent les règles du Standard Generalized Markup Language (SGML) ou du Extensible Markup Language (XML), un sous-ensemble du SGML. Une DTD est une spécification qui accompagne un document et identifie les drôles de petits codes (ou balises) qui, dans le cas d'un document texte, séparent les paragraphes, identifient les titres des rubriques, etc. Tout emplacement disposant d'un lecteur de DTD (ou "compilateur SGML") peut traiter le document pour l'afficher ou l'imprimer. Un seul compilateur SGML standard est capable de traiter de nombreux types de documents, chacun avec son propre ensemble de codes de balisage. Le compilateur consulte la DTD, puis imprime ou affiche le document en conséquence. En fait, le document que vous regardez est codé dans une DTD particulière appelée HTML. Dans ce cas, le "compilateur" ou gestionnaire de document est votre navigateur Web, qui est conçu pour traiter les documents texte codés avec des balises HTML. (D'autres programmes pourraient être développés pour traiter le HTML et d'autres DTD également).
De nombreuses grandes et petites entreprises convertissent des documents de SGML en XML. La définition de type de document du HTML est un nouveau langage qui peut être utilisé pour formater et communiquer des documents sur les intranets et les extranets des entreprises.