Laravel Você pode usar a diretiva de missionamento de seção para determinar se uma seção não possui conteúdo:

@sectionMissing('navigation')
    <div class="pull-right">
        @include('default-navigation')
    </div>
@endif
Irfan