The current prose spec requires complex types to define one or more properties even if it inherits from a base type.
For entity types that's not required: it is explicitly stated that they only must have at least one property if they do not specify a base type.
The XML Schema for CSDL does NOT require complex types to have at least one Property child element, which is consistent with entity types
Yes, derived types should not be required to introduced new properties. We should have clarified this when we added inheritance for complex types.
Should we require properties for a complex type with no base type? we do for entities, because the entity must declare key properties, but this is not the case for complex types. Not requiring properties even for the base type would allow defining a common base "marker" type that other types could derive from.