Reading the paredit sources I found this short simple bit:

  (defmacro xcond (&rest clauses)
    "Exhaustive COND.
Signal an error if no clause matches."
    `(cond ,@clauses
           (t (error "XCOND lost."))))

Basically - it adds an erroring default fall through, the “exhaustive” conditional.