Je n’ai pas été vérifier la définition officielle, mais de ce que j’en sais, est exhaustif ce qui est complètement énuméré (dans un ensemble fini dénombrable).
Ainsi, une liste exhaustive des OS serait une liste énumérant tous les OS (connus à l’instant T) sans en oublier un seul ; qu’un seul OS manque et la liste n’est plus exhaustive (d’où le classique « liste non exhaustive » pour indiquer qu’une liste n’est pas complète et n’énumère que les principaux éléments d’un ensemble donné).
Dans ce sens, rien ne peut être « trop » exhaustif : soit c’est exhaustif (tous les éléments sont énumérés), soit ça ne l’est pas (tous ne le sont pas).