TL;DR I would say Yes, expired certificates are considered to be implicitly revoked, though of course that relies on the crypto library correctly doing the expiry check when validating a certificate.
RFC 5280 (X.509 and CRL) section 5 (emphasis mine):
A full and complete CRL lists all unexpired certificates issued by a CA that have been revoked for any reason.
Also RFC 6960 (OCSP) section 4.4.4 (emphasis mine):
An OCSP responder MAY choose to retain revocation information beyond a certificate's expiration.
So once a certificate has reached its Not-After date (aka "the cert is expired"), then you actually can't revoke it because it's illegal to put expired certs on a CRL.
For OCSP, the responder can respond with one of these codes:
CertStatus ::= CHOICE {
good [0] IMPLICIT NULL,
revoked [1] IMPLICIT RevokedInfo,
unknown [2] IMPLICIT UnknownInfo }
OCSP software may allow you to continue tracking expired certs, but most OCSP responders will likely start giving unknown once a cert has reached its Not-After date.