Completeness and Definability in Diagnostic Expert Systems