HTMLMediaElement.ended は、メディア要素が再生を終了したかどうかを示します。