sh:closed is limited to the property shapes at a single node shape, but it does not consider properties that are "inherited" from superclasses.

dash:closedByTypes is a solution to that and could be lifted into the SHACL Core vocab. Alternatively, we could add a flag sh:closedByTypes to sh:closed so that it will also walk up the superclasses.