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