As it follows from Definition 3, each saturation of a terminal DV-structure $ has the same set of nodes and a strictly narrower set of valencies.
any terminal DV-structure has maximal saturations with respect to the order relations is a D-tree.